if (systemtime == null) {
  systemtime = new Date();
}
var systemtime_timer = {};
function add_one_second(d) {
  return d.setSeconds(d.getSeconds() + 1);
}
function display_systemtime() {
  add_one_second(systemtime);
  document.getElementById('systemtime').innerHTML = systemtime.toString();
}
function start_systemtime() {
  display_systemtime();
  systemtime_timer = setInterval('display_systemtime()', 1000);
}
